G
s0
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s1
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s0->s1
people0
s2
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s0->s2
people1
s3
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s0->s3
people2
s4
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s1->s4
people0
s5
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s2->s5
people0
s7
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s2->s7
people1
s6
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s3->s6
people0
s8
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s3->s8
people1
s9
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s3->s9
people2
s10
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s4->s10
people0
s11
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s5->s11
people0
s12
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s6->s12
people0
s13
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s7->s13
people0
s16
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s7->s16
people1
s14
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s8->s14
people0
s17
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s8->s17
people1
s15
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s9->s15
people0
s18
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s9->s18
people1
s19
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s9->s19
people2
s20
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s10->s20
people0
s21
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s11->s21
people0
s22
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s12->s22
people0
s23
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s13->s23
people0
s24
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s14->s24
people0
s25
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s15->s25
people0
s26
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s16->s26
people0
s30
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s16->s30
people1
s27
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s17->s27
people0
s31
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s17->s31
people1
s28
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s18->s28
people0
s32
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s18->s32
people1
s29
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s19->s29
people0
s33
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s19->s33
people1
s34
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s19->s34
people2
s35
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s20->s35
people0
s36
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s21->s36
people0
s37
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s22->s37
people0
s38
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s23->s38
people0
s39
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s24->s39
people0
s40
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s25->s40
people0
s41
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s26->s41
people0
s42
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s27->s42
people0
s43
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s28->s43
people0
s44
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s29->s44
people0
s45
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s30->s45
people0
s50
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s30->s50
people1
s46
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s31->s46
people0
s51
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s31->s51
people1
s47
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s32->s47
people0
s52
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s32->s52
people1
s48
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s33->s48
people0
s53
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s33->s53
people1
s49
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s34->s49
people0
s54
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s34->s54
people1
s55
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s34->s55
people2
s56
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s35->s56
people0
s57
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s36->s57
people0
s58
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s37->s58
people0
s59
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s38->s59
people0
s60
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s39->s60
people0
s61
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s40->s61
people0
s62
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s41->s62
people0
s63
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s42->s63
people0
s64
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s43->s64
people0
s65
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s44->s65
people0
s66
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s45->s66
people0
s67
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s46->s67
people0
s68
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s47->s68
people0
s69
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s48->s69
people0
s70
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s49->s70
people0
s71
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s50->s71
people0
s77
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s50->s77
people1
s72
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s51->s72
people0
s78
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s51->s78
people1
s73
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s52->s73
people0
s79
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s52->s79
people1
s74
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s53->s74
people0
s80
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s53->s80
people1
s75
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s54->s75
people0
s81
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s54->s81
people1
s76
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s55->s76
people0
s82
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s55->s82
people1
s83
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s55->s83
people2
s84
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s56->s84
people0
s85
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s57->s85
people0
s87
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s57->s87
people1
s86
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s58->s86
people0
s90
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s59->s90
people0
s91
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s59->s91
people1
s88
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s60->s88
people0
s89
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s61->s89
people0
s95
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s62->s95
people0
s92
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s63->s92
people0
s93
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s64->s93
people0
s94
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s65->s94
people0
s100
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s65->s100
people2
s96
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s66->s96
people0
s97
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s67->s97
people0
s98
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s68->s98
people0
s99
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s69->s99
people0
s106
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s70->s106
people0
s107
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s70->s107
people2
s101
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s71->s101
people0
s102
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s72->s102
people0
s103
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s73->s103
people0
s104
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s74->s104
people0
s105
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s75->s105
people0
s114
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s76->s114
people0
s108
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s77->s108
people0
s116
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s77->s116
people1
s109
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s78->s109
people0
s117
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s78->s117
people1
s118
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s78->s118
people2
s110
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s79->s110
people0
s119
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s79->s119
people1
s120
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s79->s120
people2
s111
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s80->s111
people0
s121
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s80->s121
people1
s112
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s81->s112
people0
s122
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s81->s122
people1
s113
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s82->s113
people0
s123
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s82->s123
people1
s115
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s83->s115
people0
s124
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s83->s124
people1
s125
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s83->s125
people2
s126
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s85->s126
people0
s128
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s85->s128
people1
s127
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s86->s127
people0
s129
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s88->s129
people0
s131
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s88->s131
people1
s130
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s89->s130
people0
s134
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s90->s134
people0
s135
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s90->s135
people1
s137
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s91->s137
people1
s136
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s92->s136
people0
s138
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s92->s138
people1
s132
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s93->s132
people0
s133
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s94->s133
people0
s141
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s94->s141
people2
s142
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s96->s142
people0
s143
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s97->s143
people0
s139
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s98->s139
people0
s140
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s99->s140
people0
s148
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s99->s148
people2
s144
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s101->s144
people0
s145
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s102->s145
people0
s146
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s103->s146
people0
s147
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s104->s147
people0
s154
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s105->s154
people0
s155
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s105->s155
people2
s156
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s106->s156
people0
s157
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s106->s157
people2
s158
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s107->s158
people2
s149
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s108->s149
people0
s150
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s109->s150
people0
s161
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s109->s161
people2
s151
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s110->s151
people0
s163
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s110->s163
people2
s152
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s111->s152
people0
s153
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s112->s153
people0
s167
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s113->s167
people0
s169
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s115->s169
people0
s159
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s116->s159
people0
s160
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s117->s160
people0
s171
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s117->s171
people1
s172
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s117->s172
people2
s162
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s119->s162
people0
s173
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s119->s173
people1
s174
chopsticks=[1, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s119->s174
people2
s175
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s120->s175
people2
s164
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s121->s164
people0
s165
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s122->s165
people0
s176
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s122->s176
people1
s166
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s123->s166
people0
s177
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s123->s177
people1
s168
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s124->s168
people0
s178
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s124->s178
people1
s170
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s125->s170
people0
s179
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s125->s179
people1
s183
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s128->s183
people0
s181
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s129->s181
people0
s184
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s129->s184
people1
s182
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s130->s182
people0
s185
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s132->s185
people0
s187
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s132->s187
people1
s186
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s133->s186
people0
s189
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s133->s189
people2
s180
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s134->s180
people0
s190
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s134->s190
people1
s192
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s135->s192
people1
s191
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s136->s191
people0
s193
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s136->s193
people1
s195
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s137->s195
people1
s196
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s138->s196
people1
s194
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s139->s194
people0
s197
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s139->s197
people1
s188
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s140->s188
people0
s199
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s140->s199
people2
s200
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s144->s200
people0
s201
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s145->s201
people0
s202
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s146->s202
people0
s198
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s147->s198
people0
s207
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s147->s207
people2
s203
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s149->s203
people0
s204
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s150->s204
people0
s210
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s150->s210
people2
s205
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s151->s205
people0
s212
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s151->s212
people2
s206
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s152->s206
people0
s215
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s153->s215
people0
s216
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s153->s216
people2
s217
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s154->s217
people0
s218
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s154->s218
people2
s219
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s155->s219
people2
s220
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s156->s220
people0
s221
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s156->s221
people2
s222
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s157->s222
people2
s208
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s159->s208
people0
s209
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s160->s209
people0
s225
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s160->s225
people2
s211
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s162->s211
people0
s227
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s162->s227
people2
s228
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s163->s228
people2
s213
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s164->s213
people0
s214
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s165->s214
people0
s231
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s166->s231
people0
s233
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s168->s233
people0
s235
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s169->s235
people2
s223
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s170->s223
people0
s224
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s171->s224
people0
s237
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s172->s237
people1
s226
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s173->s226
people0
s236
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s173->s236
people1
s238
chopsticks=[0, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s173->s238
people2
s239
chopsticks=[1, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s174->s239
people2
s240
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s175->s240
people2
s229
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s176->s229
people0
s230
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s177->s230
people0
s241
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s177->s241
people1
s232
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s178->s232
people0
s242
chopsticks=[1, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s178->s242
people1
s234
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s179->s234
people0
s243
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s179->s243
people1
s244
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s180->s244
people1
s248
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s184->s248
people0
s246
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s185->s246
people0
s249
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s185->s249
people1
s247
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s186->s247
people0
s250
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s188->s250
people0
s252
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s188->s252
people1
s253
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s188->s253
people2
s254
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s189->s254
people0
s255
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s190->s255
people1
s245
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s191->s245
people0
s256
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s191->s256
people1
s258
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s192->s258
people1
s259
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s193->s259
people1
s257
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s194->s257
people0
s260
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s194->s260
people1
s263
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s196->s263
people1
s264
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s197->s264
people1
s261
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s198->s261
people0
s265
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s198->s265
people1
s266
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s198->s266
people2
s267
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s200->s267
people1
s262
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s203->s262
people0
s268
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s204->s268
people0
s273
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s204->s273
people2
s269
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s205->s269
people0
s275
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s205->s275
people2
s270
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s206->s270
people0
s277
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s206->s277
people2
s271
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s208->s271
people0
s272
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s209->s272
people0
s279
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s209->s279
people2
s274
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s211->s274
people0
s281
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s211->s281
people2
s282
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s212->s282
people2
s276
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s213->s276
people0
s284
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s214->s284
people0
s285
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s214->s285
people2
s286
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s215->s286
people0
s287
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s215->s287
people2
s288
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s216->s288
people2
s289
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s217->s289
people0
s290
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s217->s290
people2
s291
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s218->s291
people2
s251
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s220->s251
people0
s293
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s220->s293
people2
s294
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s221->s294
people2
s295
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s223->s295
people0
s278
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s224->s278
people0
s297
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s225->s297
people1
s280
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s226->s280
people0
s298
chopsticks=[0, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s226->s298
people2
s299
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s227->s299
people2
s300
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s228->s300
people2
s283
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s229->s283
people0
s302
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s230->s302
people0
s304
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s232->s304
people0
s306
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s233->s306
people2
s292
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s234->s292
people0
s296
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s236->s296
people0
s307
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s236->s307
people2
s308
chopsticks=[0, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s238->s308
people2
s309
chopsticks=[1, 2, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s239->s309
people2
s301
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s241->s301
people0
s311
chopsticks=[1, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s241->s311
people2
s303
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s242->s303
people0
s310
chopsticks=[1, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s242->s310
people1
s305
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s243->s305
people0
s312
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s243->s312
people1
s313
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s244->s313
people1
s314
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s245->s314
people1
s318
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s249->s318
people0
s316
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s250->s316
people0
s319
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s250->s319
people1
s317
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s251->s317
people0
s321
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s251->s321
people2
s322
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s253->s322
people1
s323
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s253->s323
people0
s324
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s254->s324
people0
s325
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s255->s325
people1
s326
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s256->s326
people1
s315
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s257->s315
people0
s327
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s257->s327
people1
s330
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s259->s330
people1
s331
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s260->s331
people1
s328
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s261->s328
people0
s332
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s261->s332
people1
s333
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s261->s333
people2
s329
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s262->s329
people0
s336
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s263->s336
people2
s337
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s264->s337
people1
s338
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s264->s338
people2
s339
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s265->s339
people1
s340
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s266->s340
people1
s341
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s267->s341
people1
s342
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s268->s342
people1
s343
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s268->s343
people2
s345
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s269->s345
people2
s347
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s270->s347
people2
s334
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s271->s334
people0
s335
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s272->s335
people0
s349
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s272->s349
people2
s344
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s274->s344
people0
s351
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s274->s351
people2
s352
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s275->s352
people2
s346
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s276->s346
people0
s353
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s276->s353
people2
s348
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s278->s348
people0
s355
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s279->s355
people1
s350
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s280->s350
people0
s356
chopsticks=[0, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s280->s356
people2
s357
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s281->s357
people2
s358
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s282->s358
people0
s359
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s282->s359
people2
s360
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s283->s360
people0
s361
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s283->s361
people2
s362
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s284->s362
people0
s363
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s284->s363
people2
s364
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s285->s364
people2
s365
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s286->s365
people0
s366
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s286->s366
people1
s367
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s286->s367
people2
s368
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s287->s368
people2
s320
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s289->s320
people0
s370
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s289->s370
people1
s371
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s289->s371
people2
s372
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s290->s372
people2
s373
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s292->s373
people0
s374
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s293->s374
people2
s375
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s295->s375
people0
s354
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s296->s354
people0
s376
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s296->s376
people2
s377
chopsticks=[0, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s298->s377
people2
s378
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s299->s378
people2
s379
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s300->s379
people0
s381
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s301->s381
people0
s382
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s301->s382
people2
s383
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s303->s383
people0
s385
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s304->s385
people2
s369
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s305->s369
people0
s386
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s307->s386
people2
s387
chopsticks=[0, 2, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s308->s387
people2
s380
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s310->s380
people0
s388
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s310->s388
people1
s390
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s311->s390
people2
s384
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s312->s384
people0
s389
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s312->s389
people1
s391
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s313->s391
people1
s392
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s314->s392
people1
s393
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s315->s393
people1
s396
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s317->s396
people2
s397
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s319->s397
people0
s395
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s320->s395
people0
s398
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s320->s398
people1
s399
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s320->s399
people2
s400
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s321->s400
people2
s401
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s322->s401
people0
s402
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s323->s402
people0
s404
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s326->s404
people1
s405
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s327->s405
people1
s394
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s328->s394
people0
s406
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s328->s406
people1
s403
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s329->s403
people0
s410
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s330->s410
people2
s411
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s331->s411
people1
s412
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s331->s412
people2
s413
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s332->s413
people1
s414
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s333->s414
people1
s415
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s333->s415
people0
s408
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s334->s408
people0
s409
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s335->s409
people0
s417
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s335->s417
people2
s419
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s337->s419
people2
s420
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s338->s420
people2
s421
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s340->s421
people1
s422
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s342->s422
people1
s423
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s343->s423
people1
s424
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s344->s424
people1
s425
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s344->s425
people2
s426
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s345->s426
people2
s427
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s346->s427
people2
s416
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s348->s416
people0
s429
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s349->s429
people1
s418
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s350->s418
people0
s430
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s350->s430
people2
s431
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s351->s431
people2
s428
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s354->s428
people0
s432
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s354->s432
people2
s433
chopsticks=[0, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s356->s433
people2
s434
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s357->s434
people0
s435
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s357->s435
people2
s436
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s358->s436
people0
s437
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s359->s437
people0
s438
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s359->s438
people2
s439
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s360->s439
people0
s440
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s360->s440
people2
s441
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s361->s441
people2
s442
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s362->s442
people2
s443
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s363->s443
people2
s407
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s365->s407
people0
s445
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s365->s445
people1
s446
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s365->s446
people2
s447
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s366->s447
people1
s448
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s367->s448
people1
s449
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s367->s449
people2
s450
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s369->s450
people0
s451
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s371->s451
people1
s452
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s371->s452
people2
s453
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s373->s453
people0
s454
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s375->s454
people0
s455
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s376->s455
people2
s456
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s377->s456
people2
s457
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s378->s457
people0
s459
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s380->s459
people0
s461
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s381->s461
people2
s462
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s382->s462
people2
s463
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s383->s463
people2
s444
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s384->s444
people0
s464
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s386->s464
people2
s458
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s388->s458
people0
s465
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s388->s465
people1
s460
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s389->s460
people0
s466
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s389->s466
people1
s468
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s392->s468
people1
s469
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s393->s469
people1
s470
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s394->s470
people1
s472
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s395->s472
people2
s473
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s396->s473
people2
s474
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s398->s474
people0
s475
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s399->s475
people1
s476
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s399->s476
people2
s478
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s401->s478
people0
s467
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s403->s467
people0
s482
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s404->s482
people2
s483
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s405->s483
people1
s484
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s405->s484
people2
s485
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s406->s485
people1
s471
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s407->s471
people0
s486
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s407->s486
people1
s487
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s407->s487
people2
s480
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s408->s480
people0
s481
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s409->s481
people0
s489
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s409->s489
people2
s491
chopsticks=[2, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s411->s491
people2
s492
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s412->s492
people2
s493
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s414->s493
people1
s494
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s414->s494
people0
s479
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s415->s479
people0
s488
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s416->s488
people0
s496
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s417->s496
people1
s490
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s418->s490
people0
s497
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s418->s497
people2
s498
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s419->s498
people2
s500
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s423->s500
people1
s499
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s424->s499
people1
s501
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s425->s501
people1
s502
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s425->s502
people2
s495
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s428->s495
people0
s503
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s428->s503
people2
s504
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s430->s504
people2
s505
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s432->s505
people2
s506
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s433->s506
people0
s507
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s433->s507
people2
s508
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s434->s508
people0
s509
chopsticks=[1, 2, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s435->s509
people0
s510
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s435->s510
people2
s511
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s437->s511
people0
s514
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s439->s514
people2
s515
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s440->s515
people2
s516
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s441->s516
people2
s517
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s442->s517
people2
s512
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s443->s512
people1
s518
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s444->s518
people0
s519
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s445->s519
people1
s520
chopsticks=[2, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s446->s520
people1
s521
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s446->s521
people2
s522
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s448->s522
people1
s523
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s449->s523
people1
s524
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s450->s524
people0
s525
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s452->s525
people1
s526
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s453->s526
people0
s477
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s454->s477
people0
s527
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s455->s527
people2
s528
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s456->s528
people0
s530
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s458->s530
people0
s532
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s459->s532
people2
s513
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s460->s513
people0
s533
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s461->s533
people2
s529
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s465->s529
people0
s534
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s465->s534
people1
s531
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s466->s531
people0
s535
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s466->s535
people1
s538
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s468->s538
people2
s539
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s469->s539
people1
s540
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s469->s540
people2
s541
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s470->s541
people1
s542
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s471->s542
people1
s543
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s471->s543
people2
s544
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s472->s544
people2
s546
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s475->s546
people0
s547
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s476->s547
people1
s545
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s477->s545
people0
s536
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s480->s536
people0
s537
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s481->s537
people0
s551
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s481->s551
people2
s553
chopsticks=[2, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s483->s553
people2
s554
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s484->s554
people2
s555
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s486->s555
people1
s556
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s487->s556
people1
s557
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s487->s557
people2
s550
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s488->s550
people0
s559
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s489->s559
people1
s552
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s490->s552
people0
s560
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s490->s560
people2
s561
chopsticks=[2, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s491->s561
people2
s562
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s492->s562
people0
s563
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s493->s563
people0
s549
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s494->s549
people0
s558
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s495->s558
people0
s564
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s495->s564
people2
s565
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s497->s565
people2
s566
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s501->s566
people1
s567
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s502->s567
people1
s568
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s503->s568
people2
s569
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s505->s569
people0
s570
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s505->s570
people2
s571
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s506->s571
people0
s572
chopsticks=[0, 2, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s507->s572
people0
s573
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s507->s573
people2
s574
chopsticks=[0, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s508->s574
people1
s575
chopsticks=[1, 2, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s509->s575
people0
s576
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s512->s576
people1
s579
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s513->s579
people0
s580
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s514->s580
people2
s581
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s515->s581
people2
s578
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s517->s578
people1
s582
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s518->s582
people0
s583
chopsticks=[2, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s520->s583
people1
s584
chopsticks=[2, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s521->s584
people1
s586
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s522->s586
people2
s587
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s523->s587
people1
s585
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s524->s585
people0
s588
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s524->s588
people1
s548
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s526->s548
people0
s589
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s526->s589
people1
s590
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s527->s590
people0
s592
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s529->s592
people0
s594
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s530->s594
people2
s577
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s531->s577
people0
s591
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s534->s591
people0
s593
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s535->s593
people0
s595
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s535->s595
people1
s597
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s537->s597
people2
s599
chopsticks=[1, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s539->s599
people2
s600
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s540->s600
people2
s601
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s542->s601
people1
s602
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s543->s602
people1
s603
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s543->s603
people2
s605
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s547->s605
people0
s604
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s548->s604
people0
s606
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s548->s606
people1
s596
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s550->s596
people0
s609
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s551->s609
people1
s598
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s552->s598
people0
s610
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s552->s610
people2
s611
chopsticks=[2, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s553->s611
people2
s612
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s554->s612
people2
s613
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s556->s613
people1
s614
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s557->s614
people1
s608
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s558->s608
people0
s616
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s558->s616
people2
s617
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s560->s617
people2
s618
chopsticks=[2, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s561->s618
people0
s619
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s562->s619
people0
s607
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s563->s607
people0
s620
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s564->s620
people2
s621
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s567->s621
people1
s622
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s569->s622
people0
s623
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s570->s623
people0
s624
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s570->s624
people2
s625
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s571->s625
people0
s626
chopsticks=[0, 2, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s572->s626
people0
s629
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s574->s629
people1
s630
chopsticks=[0, 2, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s575->s630
people1
s627
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s576->s627
people1
s632
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s577->s632
people0
s631
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s578->s631
people1
s633
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s579->s633
people0
s634
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s580->s634
people2
s635
chopsticks=[2, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s583->s635
people2
s636
chopsticks=[2, 0, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s584->s636
people1
s615
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s585->s615
people0
s637
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s585->s637
people1
s638
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s586->s638
people2
s639
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s587->s639
people1
s640
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s588->s640
people1
s641
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s591->s641
people0
s643
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s592->s643
people2
s628
chopsticks=[0, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s593->s628
people0
s642
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s595->s642
people0
s645
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s597->s645
people1
s646
chopsticks=[0, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s598->s646
people2
s647
chopsticks=[1, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s599->s647
people2
s648
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s600->s648
people2
s649
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s602->s649
people1
s650
chopsticks=[1, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s603->s650
people1
s652
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s606->s652
people0
s644
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s608->s644
people0
s653
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s608->s653
people2
s654
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s610->s654
people2
s655
chopsticks=[2, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s611->s655
people2
s657
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s613->s657
people2
s656
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s614->s656
people1
s651
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s615->s651
people0
s658
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s615->s658
people1
s659
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s616->s659
people2
s660
chopsticks=[1, 2, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s617->s660
people0
s661
chopsticks=[1, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s618->s661
people0
s662
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s622->s662
people0
s663
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s623->s663
people0
s666
chopsticks=[1, 2, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s626->s666
people0
s664
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s627->s664
people1
s668
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s628->s668
people0
s669
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s630->s669
people1
s670
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s631->s670
people1
s671
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s632->s671
people0
s672
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s635->s672
people2
s673
chopsticks=[2, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s636->s673
people1
s674
chopsticks=[2, 0, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s637->s674
people1
s667
chopsticks=[0, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s639->s667
people1
s675
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s640->s675
people1
s676
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s641->s676
people2
s665
chopsticks=[0, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s642->s665
people0
s677
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s644->s677
people2
s678
chopsticks=[0, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s646->s678
people2
s679
chopsticks=[1, 2, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s647->s679
people2
s681
chopsticks=[1, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s649->s681
people2
s680
chopsticks=[1, 0, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s650->s680
people1
s682
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s651->s682
people1
s683
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s653->s683
people2
s684
chopsticks=[1, 2, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s654->s684
people2
s685
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s656->s685
people1
s687
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s657->s687
people2
s686
chopsticks=[2, 0, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s658->s686
people1
s688
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s659->s688
people0
s689
chopsticks=[0, 2, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s660->s689
people0
s690
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s663->s690
people0
s692
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s665->s692
people0
s691
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s667->s691
people1
s694
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s668->s694
people0
s695
chopsticks=[0, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s670->s695
people1
s696
chopsticks=[0, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s671->s696
people1
s693
chopsticks=[1, 1, 2]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s673->s693
people1
s697
chopsticks=[2, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s674->s697
people1
s698
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s677->s698
people2
s699
chopsticks=[0, 2, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s678->s699
people2
s700
chopsticks=[1, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s680->s700
people1
s702
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s681->s702
people2
s701
chopsticks=[1, 0, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s682->s701
people1
s703
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s683->s703
people2
s704
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=2
s684->s704
people2
s705
chopsticks=[2, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s686->s705
people1
s706
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s688->s706
people0
s708
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s692->s708
people0
s707
chopsticks=[1, 0, 2]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s693->s707
people1
s709
chopsticks=[1, 1, 1]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s694->s709
people0
s710
chopsticks=[0, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s696->s710
people1
s711
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s698->s711
people2
s712
chopsticks=[0, 1, 1]
num=3
people0.pid=␡
people1.pid=1
people2.pid=2
s699->s712
people2
s713
chopsticks=[1, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s701->s713
people1
s714
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=2
s703->s714
people2
s716
chopsticks=[1, 0, 1]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s708->s716
people0
s715
chopsticks=[1, 1, 0]
num=3
people0.pid=0
people1.pid=1
people2.pid=␡
s709->s715
people0
s717
chopsticks=[0, 0, 1]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=2
s711->s717
people2
s718
chopsticks=[0, 1, 0]
num=3
people0.pid=␡
people1.pid=1
people2.pid=␡
s715->s718
people0
s719
chopsticks=[1, 0, 0]
num=3
people0.pid=0
people1.pid=␡
people2.pid=␡
s716->s719
people0
s720
chopsticks=[0, 0, 0]
num=3
people0.pid=␡
people1.pid=␡
people2.pid=␡
s719->s720
people0